Non-commutative extension of Lusin's theorem
نویسندگان
چکیده
منابع مشابه
A Non-commutative Bertini Theorem
We prove a version of the classical ‘generic smoothness’ theorem with smooth varieties replaced by non-commutative resolutions of singular varieties. This in particular implies a non-commutative version of the Bertini theorem.
متن کاملA Non-commutative Extension of MELL
We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We should then be able to extend the range of applications of MELL, by modelling a broad notion of s...
متن کاملA non-commutative Lévy-Cramér continuity theorem
The classical Lévy-Cramér continuity theorem asserts that the convergence of the characteristic functions implies the weak convergence of the corresponding probability measures. We extend this result to the setting of non-commutative probability theory and discuss some applications. ∗CNRS, Université de Provence, Université de la Méditerranée, Université du Sud Toulon-Var. 2 V. Jakšić, Y. Pautr...
متن کاملA Non-commutative Extension of Classical Linear Logic
We extend the multiplicative fragment of linear logic with a non-commutative connective (called before), which, roughly speaking, corresponds to sequential composition. This lead us to a calculus where the conclusion of a proof is a Partially Ordered MultiSET of formulae. We rstly examine coherence semantics, where we introduce the before connective, and ordered products of formulae. Secondly w...
متن کاملA Non-commutative Extension of Multiplicative Exponential Linear Logic
We extend multiplicative exponential linear logic (MELL) by a noncommutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We are then able to extend the expressiveness of MELL by modelling a broad notion of sequentiality. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tohoku Mathematical Journal
سال: 1967
ISSN: 0040-8735
DOI: 10.2748/tmj/1178243283